Tipo | Título | Autor | Edición | Disponibilidad | Valoración |
---|---|---|---|---|---|
Artículo |
Relating higher-order and first-order rewriting : | Bonelli, Eduardo |
(2005) |
---------- | |
Tesis |
Sobre la representación de S4.3.: | Bonelli, Eduardo |
(1996) |
Sala
|
---------- |
Artículo |
The intensional lambda calculus : | Artemov, Sergei |
(2007) |
---------- | |
Artículo |
The logic of proofs as a foundation for certifying mobile computation : | Bonelli, Eduardo |
(2009) |
---------- | |
Artículo |
Typechecking safe process synchronization : | Bonelli, Eduardo |
(2004) |
---------- | |
Artículo |
de Bruijn indices for metaterms : | Bonelli, Eduardo |
(2005) |
---------- |